Optimal. Leaf size=31 \[ \frac {5 x}{34}+\frac {3 \log (5 \cos (c+d x)+3 \sin (c+d x))}{34 d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.03, antiderivative size = 31, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 2, integrand size = 12, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.167, Rules used = {3565, 3611}
\begin {gather*} \frac {3 \log (3 \sin (c+d x)+5 \cos (c+d x))}{34 d}+\frac {5 x}{34} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 3565
Rule 3611
Rubi steps
\begin {align*} \int \frac {1}{5+3 \tan (c+d x)} \, dx &=\frac {5 x}{34}+\frac {3}{34} \int \frac {3-5 \tan (c+d x)}{5+3 \tan (c+d x)} \, dx\\ &=\frac {5 x}{34}+\frac {3 \log (5 \cos (c+d x)+3 \sin (c+d x))}{34 d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains complex when optimal does not.
time = 0.04, size = 65, normalized size = 2.10 \begin {gather*} -\frac {\left (\frac {3}{68}+\frac {5 i}{68}\right ) \log (i-\tan (c+d x))}{d}-\frac {\left (\frac {3}{68}-\frac {5 i}{68}\right ) \log (i+\tan (c+d x))}{d}+\frac {3 \log (5+3 \tan (c+d x))}{34 d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.07, size = 41, normalized size = 1.32
method | result | size |
risch | \(\frac {5 x}{34}-\frac {3 i x}{34}-\frac {3 i c}{17 d}+\frac {3 \ln \left ({\mathrm e}^{2 i \left (d x +c \right )}+\frac {8}{17}+\frac {15 i}{17}\right )}{34 d}\) | \(35\) |
norman | \(\frac {5 x}{34}+\frac {3 \ln \left (5+3 \tan \left (d x +c \right )\right )}{34 d}-\frac {3 \ln \left (1+\tan ^{2}\left (d x +c \right )\right )}{68 d}\) | \(37\) |
derivativedivides | \(\frac {-\frac {3 \ln \left (1+\tan ^{2}\left (d x +c \right )\right )}{68}+\frac {5 \arctan \left (\tan \left (d x +c \right )\right )}{34}+\frac {3 \ln \left (5+3 \tan \left (d x +c \right )\right )}{34}}{d}\) | \(41\) |
default | \(\frac {-\frac {3 \ln \left (1+\tan ^{2}\left (d x +c \right )\right )}{68}+\frac {5 \arctan \left (\tan \left (d x +c \right )\right )}{34}+\frac {3 \ln \left (5+3 \tan \left (d x +c \right )\right )}{34}}{d}\) | \(41\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.49, size = 39, normalized size = 1.26 \begin {gather*} \frac {10 \, d x + 10 \, c - 3 \, \log \left (\tan \left (d x + c\right )^{2} + 1\right ) + 6 \, \log \left (3 \, \tan \left (d x + c\right ) + 5\right )}{68 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.84, size = 46, normalized size = 1.48 \begin {gather*} \frac {10 \, d x + 3 \, \log \left (\frac {9 \, \tan \left (d x + c\right )^{2} + 30 \, \tan \left (d x + c\right ) + 25}{\tan \left (d x + c\right )^{2} + 1}\right )}{68 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.18, size = 46, normalized size = 1.48 \begin {gather*} \begin {cases} \frac {5 x}{34} + \frac {3 \log {\left (3 \tan {\left (c + d x \right )} + 5 \right )}}{34 d} - \frac {3 \log {\left (\tan ^{2}{\left (c + d x \right )} + 1 \right )}}{68 d} & \text {for}\: d \neq 0 \\\frac {x}{3 \tan {\left (c \right )} + 5} & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.48, size = 40, normalized size = 1.29 \begin {gather*} \frac {10 \, d x + 10 \, c - 3 \, \log \left (\tan \left (d x + c\right )^{2} + 1\right ) + 6 \, \log \left ({\left | 3 \, \tan \left (d x + c\right ) + 5 \right |}\right )}{68 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 4.12, size = 49, normalized size = 1.58 \begin {gather*} \frac {3\,\ln \left (\mathrm {tan}\left (c+d\,x\right )+\frac {5}{3}\right )}{34\,d}+\frac {\ln \left (\mathrm {tan}\left (c+d\,x\right )-\mathrm {i}\right )\,\left (-\frac {3}{68}-\frac {5}{68}{}\mathrm {i}\right )}{d}+\frac {\ln \left (\mathrm {tan}\left (c+d\,x\right )+1{}\mathrm {i}\right )\,\left (-\frac {3}{68}+\frac {5}{68}{}\mathrm {i}\right )}{d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________